AtomFree($d$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$$\in$dom($d$). $A$=$d$($x$) $\Rightarrow$  AtomFree(Type;$A$)